Linux colossus.ics.uci.edu 3.13.7 #36 SMP Thu Oct 30 13:29:50 PDT 2014 x86_64 x86_64 x86_64 GNU/Linux